Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA

Source URL: www.cs.princeton.edu

• Logic
• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Programming language semantics
• Philosophical logic
• Non-classical logic
• Operational semantics
• Semantics
• Kripke semantics
• Modal logic
• Axiomatic semantics

Compositional CompCert Andrew W. Appel tifact * Complete

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Software
• Logic in computer science
• Formal methods
• Compiler construction
• Cross-platform software
• Object-oriented programming languages
• Stack
• Semantics
• Optimizing compiler
• Operational semantics

Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad

Representing and reasoning with operational semantics Dale Miller ´ INRIA & LIX, Ecole Polytechnique

Source URL: www.lix.polytechnique.fr

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++ Daniel Wasserrab Tobias Nipkow

Source URL: www.franktip.org

An Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: seclab.stanford.edu

PDF Document

Source URL: ect.bell-labs.com

• Theoretical computer science
• Mathematics
• Software engineering
• Logic in computer science
• Models of computation
• Programming language semantics
• Lambda calculus
• Operational semantics
• Substitution
• Expression
• Variable
• Monad

Trace-Based Coinductive Operational Semantics for While Big-step and Small-step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee

Source URL: www.cs.ioc.ee